例句與造句

1. 15 heitmeyer c l , jeffords r d , labaw b g . automated consistency checking of requirements specification . acm trans . software engineering and methodology , july 1996 , 5 : 231 - 261
   具體來說就是，提出軟件需求可以由想要的軟件將處于的環境，期望中的該軟件將與環境發生的交互，以及這些交互之間的因果關系來刻畫。
2. It's difficult to find automating consistency checking in a sentence. 用automating consistency checking造句挺難的